Searching for injective protocol inj